Formalisation of multi-precision arithmetic for high-level synthesis of DSP architectures

c 1994 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Formalisation of Multi-Precision Arithmetic for High-Level Synthesis of DSP Architectures MARC PAUWELS , GERT GOOSSENS, FRANCKY CATTHOOR, HUGO DE MAN [email protected] IMEC, Kapeldreef 75, B-3001 Leuven, Belgium Abstract. Multiple precision arithmetic is very useful to optimally trade o area and time when implementing real-time signal processing algorithms on application speci c architectures. A wide range of area-time trade-o s is possible in multiple precision, with the degree of multi-precision as a parameter. To cope with this complex optimisation problem, there is de nitely a need for good models and support by synthesis tools. This paper describes how multiple precision arithmetic has been formalised and implemented in formal software procedures within the Cathedral-2nd high-level synthesis environment, developed at IMEC. The use of multiple precision arithmetic is illustrated by means of a design of an industrial application.